1
Logic and specification: extending VDM-SL for advanced formal specification

Logic and specification: extending VDM-SL for advanced formal specification

İl:
1993
Dil:
english
Fayl:
PDF, 1.35 MB
0 / 0
english, 1993
2
Instruction Sequences for Computer Science

Instruction Sequences for Computer Science

İl:
2012
Dil:
english
Fayl:
PDF, 4.53 MB
0 / 0
english, 2012
3
Notations for Software Design

Notations for Software Design

İl:
1994
Dil:
english
Fayl:
PDF, 8.95 MB
0 / 0
english, 1994
4
Instruction Sequences for Computer Science

Instruction Sequences for Computer Science

İl:
2012
Dil:
english
Fayl:
PDF, 1.53 MB
0 / 0
english, 2012